Mathematical software - PDFSEARCH.IO - Document Search Engine

Mathematical software
Results: 3985

#	Item
261	Accelerating Algorithm Implementation in FPGA/ASIC Using Python Copyright © 2007, Dillon Engineering Inc. All Rights Reserved. Modeling Add to Reading List Source URL: www.ll.mit.edu Language: English - Date: 2012-10-11 10:44:33 Software Computing Application software Hardware description languages Array programming languages Cross-platform software High-level programming languages MyHDL Mathematical software Matplotlib Verilog Field-programmable gate array
262	The CVX Users’ Guide Release 2.1 Michael C. Grant, Stephen P. Boyd CVX Research, Inc. Add to Reading List Source URL: cvxr.com Language: English - Date: 2015-06-10 21:44:10 Numerical analysis Mathematical optimization Mathematical software Software Numerical software Computer file formats Convex optimization Operations research MOSEK Nl Quadratic programming AMPL
263	Earthquake Seismographs for Volunteers to Operate in K-12 Classrooms Wayne D. Pennington Shannon E. Bair Seth R. Lemke Add to Reading List Source URL: www.geo.mtu.edu Language: English - Date: 2000-10-18 11:23:18 Software Mathematical software Numerical analysis Cross-platform software LabVIEW Numerical software Seismometer Seismology
264	Programming with Polymorphic Variants Jacques Garrigue Research Institute for Mathematical Sciences Kyoto University, Kyoto, JAPAN Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2010-12-28 20:49:23 Software engineering Type theory Programming language theory Computing Parametric polymorphism Polymorphism Type system Covariance and contravariance HindleyMilner type system Type inference Subtyping System F
265	Denotational semantics for lazy initialization of letrec black holes as exceptions rather than divergence Keiko Nakata Institute of Cybernetics at Tallinn University of Technology Abstract We present a denotational seman Add to Reading List Source URL: www.cs.ioc.ee Language: English - Date: 2010-07-30 13:11:03 Theoretical computer science Models of computation Mathematical logic Software engineering Computability theory Denotational semantics Logic in computer science Lambda calculus Substitution Function type
266	OpenDreamKit Work Package 6 The Knowledge-First Strategy for System Integration Add to Reading List Source URL: opendreamkit.org Language: English - Date: 2016-04-03 07:00:36 Software Computing Application software Semantic Web Markup languages Mathematical markup languages Michael Kohlhase OMDoc SageMath Type theory
267	Motivated young woman running up hills at sunset - blur Add to Reading List Source URL: competitorgroup.com Language: English - Date: 2015-12-01 18:50:11 Software Application software Mathematical software Retinal G protein coupled receptor R
268	Better together. Don’t use Excel for charting. Upload Excel sheets to Plotly for best practice charts, data driven reports, and dashboards. Add to Reading List Source URL: images.plot.ly Language: English - Date: 2015-11-16 15:39:15 Software Application software Computing JavaScript libraries Business software Visualization Mathematical software Office software Plotly D3.js Dashboard SharePoint
269	Higher-Performance R via C++ Part 1: Introduction Dirk Eddelbuettel UZH/ETH Zürich R Courses June 24-25, 2015 Add to Reading List Source URL: dirk.eddelbuettel.com Language: English - Date: 2015-06-29 08:27:19 Software Application software Mathematical software Xx R Quantile
270	Motivated young woman running up hills at sunset - blur Add to Reading List Source URL: cdn.competitorgroup.com Language: English - Date: 2015-12-01 18:50:11 Software Application software Mathematical software Retinal G protein coupled receptor Marathon R

UPDATE